Preliminares VI-30

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Vi-1 Vi. Suffix Dictionaries

Cosine Numeric Abstract, Cosine Logical Abstract, Overlap Logical Overlap Logical Abstract, Cosine Numeric Cosine Numeric Text, Cosine Numeric Text, Cosine Logical Text, Overlap Logical Abstract, Cosine Numeric Cosine Numeric Abstract, Cosine Logical Cosine Logical Title, Cosine Numeric EVALUATION MEASURE Normed. Recall Normed. Precision Normed. Recall Normed. Precision Normed. Recall Normed. P...

متن کامل

Electronic structure and soft-X-ray-induced photoreduction studies of iron-based magnetic polyoxometalates of type {(M)M5}12Fe(III)30 (M = Mo(VI), W(VI)).

Giant Keplerate-type molecules with a {Mo72Fe30} core show a number of very interesting properties, making them particularly promising for various applications. So far, only limited data on the electronic structure of these molecules from X-ray spectra and electronic structure calculations have been available. Here we present a combined electronic and magnetic structure study of three Keplerate...

متن کامل

Detección automática de chilenismos verbales a partir de reglas morfosintácticas. Resultados preliminares

In this paper, the tasks made for obtaining an automatic extractor for verbal chilenismos using natural language rules are described. With this objective, a formalization of lexical, morphological and syntactic features was made, for a subsequent computational implementation. Firstly, verbal chilenismos were classified in four kinds, according to the use registered in the dictionaries and synta...

متن کامل

Publication VI

In many domains data items are represented by vectors of counts; count data arises, for example, in bioinformatics or analysis of text documents represented as word count vectors. However, often the amount of data available from an interesting data source is too small to model the data source well. When several data sets are available from related sources, exploiting their similarities by trans...

متن کامل

Publication VI

The precise computation of abstractions is a bottleneck in many approaches to CEGAR-based verification. In this paper, we propose a novel approach, based on the use of structural information. Rather than computing the abstraction as a single, monolithic quantification, we provide a structure-aware abstraction algorithm, based on two complementary steps. The first, highlevel step exploits the st...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Ventana Informatica

سال: 2014

ISSN: 0123-9678

DOI: 10.30554/ventanainform.30.295.2014